Michael Thomas

Results: 946



#Item
141Combinatory logic / Lambda calculus / Logic in computer science / Symbol

Optimal Social Laws Thomas Ågotnes ∗ Michael Wooldridge

Add to Reading List

Source URL: www.aamas-conference.org

Language: English - Date: 2010-03-31 10:16:42
142

MITGLIEDER IM STADTRAT DER LANDESHAUPTSTADT MÜNCHEN Dr. Michael Mattar Gabriele Neff Dr. Wolfgang Heubisch Wolfgang Zeilnhofer-Rath Thomas Ranft

Add to Reading List

Source URL: antragsarchiv.kommunalpiraten.de

Language: German - Date: 2015-12-16 05:54:34
    143

    MITGLIEDER IM STADTRAT DER LANDESHAUPTSTADT MÜNCHEN Dr. Michael Mattar Gabriele Neff Dr. Wolfgang Heubisch Wolfgang Zeilnhofer-Rath Thomas Ranft

    Add to Reading List

    Source URL: antragsarchiv.kommunalpiraten.de

    Language: German - Date: 2015-12-23 06:18:33
      144

      Automated Verification of Electrum Wallet? Mathieu Turuani1 , Thomas Voegtlin2 , Michael Rusinowitch1 1 INRIA Nancy–Grand Est , 2

      Add to Reading List

      Source URL: fc16.ifca.ai

      Language: English - Date: 2016-01-27 10:23:48
        145

        CoCoRo - collective cognitive robots From biology to deep-sea exploration Ronald Thenius, Thomas Schmickl, Jürgen Stradner, Payam Zahadat, Sibylle Hashold, Christoph Moeslinger, Martina Szopek, Michael Bodi, Karl Crails

        Add to Reading List

        Source URL: cocoro.uni-graz.at

        Language: English - Date: 2012-03-13 08:42:47
          146

          A Search Engine for 3D Models THOMAS FUNKHOUSER, PATRICK MIN, MICHAEL KAZHDAN, JOYCE CHEN, ALEX HALDERMAN, and DAVID DOBKIN Princeton University and DAVID JACOBS

          Add to Reading List

          Source URL: cvs.cs.umd.edu

          Language: English - Date: 2003-07-29 10:19:25
            147

            CRISTAL Design and Implementation of a Remote Control System Based on a Multi-touch Display Thomas Seifried1, Michael Haller1, Stacey D. Scott2,

            Add to Reading List

            Source URL: mi-lab.org

            - Date: 2009-12-01 09:03:33
              148

              JClarens: A Java Framework for Developing and Deploying Web Services for Grid Computing Michael Thomas,1 Conrad Steenberg,1 Frank van Lingen,1 Harvey Newman,1 Julian Bunn,1 Arshad Ali,2 Richard McClatchey,3 Ashiq Anjum,2

              Add to Reading List

              Source URL: authors.library.caltech.edu

              Language: English - Date: 2012-12-26 09:33:00
                149

                CRISTAL: A Collaborative Home Media and Device Controller Based on a Multi-touch Display Thomas Seifried1, Michael Haller1, Stacey D. Scott2, Florian Perteneder1, Christian Rendl1, Daisuke Sakamoto3, Masahiko Inami4 1 Me

                Add to Reading List

                Source URL: mi-lab.org

                Language: English - Date: 2009-11-25 13:44:09
                  150

                  Making Privacy a Fundamental Component of Web Resources Thomas Duebendorfer (Google Switzerland GmbH), Christoph Renner (Google Switzerland GmbH/ETH Zurich), Tyrone Grandison (IBM), Michael Maximilien (IBM), Mark Weitzel

                  Add to Reading List

                  Source URL: www.w3.org

                  Language: English - Date: 2010-06-19 07:42:37
                    UPDATE